1. Theory and formal methods of computing 94
پدیدآورنده : / editors, C. Hankin, I. Mackie, R. Nagarajan,original title: At head of title: Imperial College, Department of Computing..
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer science--Congresses,Formal methods (Computer science)--Congresses
رده :
QA75
.
5
.
T525
1995
2. Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
پدیدآورنده : editors, C. Hankin, I. Mackie, R. Nagarajan
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(
رده :
QA
75
.
5
.
T525
1995
3. Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
پدیدآورنده : editors, C. Hankin, I. Mackie, R. Nagarajan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Congresses
رده :
QA
75
.
5
.
T525
1994
